A context for belief revision: forward chaining-normal nonmonotomic rule systems
نویسندگان
چکیده
منابع مشابه
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems
A number of nonmonotonic reasoning formalism have been introduced to model the set of beliefs of an agent. For example, Reiter [Rei80] introduced default logic where the set of beliefs of an agent reasoning with incomplete information corresponded to a extension of a default theory < D,W >. In the realm of logic programming, the stable models of a general logic program as introduced by Gelfond ...
متن کاملBounding the Computation Time of Forward-Chaining Rule-Based Systems
Tomsovic, K. and C-C. Liu, Bounding the computation time of forward-chaining rule-based systems, Data & Knowledge Engineering 10 (1993) 317-334. For real-time applications of expert systems, success depends on the computational efficiency of the implementation. In this study, we propose an analytical method for evaluating the processing time of forward-chaining rule-based systems. An upper boun...
متن کاملBelief revision for rule-based agents
Agents which perform inferences on the basis of possibly unreliable information need an ability to revise their beliefs if they discover an inconsistency. However, most belief revision algorithms for classical reasoners have quite high complexity, which makes them unsuitable for resource-bounded reasoners. We consider belief revision for agents which reason in a simpler logic that the full firs...
متن کاملForward-chaining Rules in Agent Systems
Agent systems can be divided into two broad categories of deliberative and reactive architectures. Deliberative architectures tend to excel within closed world, non real-time scenarios, offering proactive agent planning capabilities for achieving goal oriented behaviours. Reactive architectures offer timely, situation based behaviours that are suitable for application to real-time scenarios. An...
متن کاملForward and Backward Chaining with P Systems
1 Institute of Mathematics and Computer Science Academy of Sciences of Moldova Academiei 5, Chişinău MD-2028 Moldova E-mail: {sivanov,artiom}@math.md 2 Technical University of Moldova, Faculty of Computers, Informatics and Microelectronics, Ştefan cel Mare 168, Chişinău MD-2004 Moldova 3 Università degli Studi di Milano-Bicocca Dipartimento di Informatica, Sistemistica e Comunicazione Viale Sar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1994
ISSN: 0168-0072
DOI: 10.1016/0168-0072(94)90013-2